Proof By Contradiction: Log5 Is Irrational